Program Evolution with Explicit Learning: a New Framework for Program Automatic Synthesis
نویسندگان
چکیده
In Genetic Programming (GP) and most of the other evolutionary computing approaches, the knowledge which is learned during the evolutionary processing is implicitly encoded in the population. In this research, we proposed a new approach for program synthesis – Program Evolution with Explicit Learning (PEEL), which learns and makes use of this knowledge explicitly. PEEL learns probability distribution from previous generations and stochastically generates new populations according to this distribution. On the benchmark problems we have studied, this approach can synthesize more compact and more accurate programs than GP.
منابع مشابه
Program Evolution with Explicit Learning
In Genetic Programming (GP) and most other evolutionary computing approaches, the knowledge learned during the evolutionary processing is implicitly encoded in the population. A small family of approaches, known as Estimation of Distribution Algorithms, learn this knowledge directly in the form of probability distributions. In this research, we proposed a new approach for program synthesis – Pr...
متن کاملComparing Kirkpatrick’s original and new model with CIPP evaluation model
In a young field like educational programevaluation, it is inevitable that conceptualframeworks such as Kirkpatrick model arerevised with time and with greater knowledge.The New World Kirkpatrick Model (NWKM)is the new version of Kirkpatrick model whichis more welcome to context and process, andhence probably much closer to the context–input–process–product (CIPP) model (1). The aimof this pape...
متن کاملProbabilistic incremental program evolution
Probabilistic incremental program evolution (PIPE) is a novel technique for automatic program synthesis. We combine probability vector coding of program instructions, population-based incremental learning, and tree-coded programs like those used in some variants of genetic programming (GP). PIPE iteratively generates successive populations of functional programs according to an adaptive probabi...
متن کاملEvaluation of medical education virtual program: P3 model
Introduction: In e-learning, people get involved in a processand create the content (product) and make it available for virtuallearners. The present study was carried out in order to evaluatethe first virtual master program in medical education at ShirazUniversity of Medical Sciences according to P3 Model.Methods: This is an evaluation research study with post singlegroup design used to determi...
متن کاملThe Deductive Synthesis of Imperative LISP Programs
A framework is described for the automatic synthesis of imperative programs, which may alter data structures and produce destructive side effects as part of their intended behavior. A program meeting a given specification is extracted from the proof of a theorem in a variant of situational logic, in which the states of a computation are explicit objects. As an example, an in-place reverse progr...
متن کامل